Black-box Fault Models
نویسندگان
چکیده
Four black-box fault models are introduced in the paper. The test generation task for the black-box model is more complicated, because possible realizations of the design must be taken into account. However, the time required to generate tests is not very critical factor, because the test generation can be done in parallel with the circuit synthesis process without a prolongation of Time-to-Market. All the proposed fault models were analyzed and investigated experimentally. On the basis of these results, an appropriate fault model responding to the complexity of the problem being solved can be selected.
منابع مشابه
The Realization-Independent Testing Based on the Black Box Fault Models
The design complexity of systems on a chip drives the need to reuse legacy or intellectual property cores, whose gate-level implementation details are unavailable. In this paper we consider the realization-independent testing and the impact of circuit realization on the fault coverage. We investigated two fault models (input-output pin pair fault and input-input-output pin triplet fault) that a...
متن کاملUsing Nonlinear Black-box Models in Fault Detection and Isolation
A method for fault detection is proposed using nonlinear black-box models, such as polynomial regression and neural networks. Compared to existing methods, this proposed method has the advantage of not requiring model training under all the possible faulty modes of the monitored system. Partial physical knowledge , if available, can be combined with the nonlinear black-box model to perform faul...
متن کاملAdvanced Process Control
CONTENTS SUMMARY 1. WHAT IS ADVANCED CONTROL? 2. PROCESS MODELS 2.1. Mechanistic Models 2.2. Black Box Models 2.3. Qualitative Models 2.4. Statistical Models 3. MODEL BASED (MODERN) AUTOMATIC CONTROL 3.1. PID Control 3.2. Predictive Constrained Control 3.3. Multivariable Control 3.4. Robust Control and the Internal Model Principle 3.5. Globally Linearising Control 4. STATISTICAL PROCESS CONTR...
متن کاملTowards a Theory for Integration of Mathematical Verification and Empirical Testing
From the viewpoint of a project manager responsible for the V&V of a software system, mathematical verijcation techniques provide a potentially valuable addition to otherwise standard empirical testing. However, the value they add, both in terms of coverage and in fault detection, has been difficult to quantify. Potential cost savings from replacing testing with mathematical techniques cannot b...
متن کاملDependability Analysis of Iterative Fault Tolerant Software Considering Correlation
We consider the dependability of fault tolerant software executed iteratively, as e.g. in process control applications. We recall the models usually adopted for evaluating the probability of mission survival (reliability at a certain time) and performability, and show the results obtained by applying these models to the adaptive scheme for software fault-tolerance SCOP, "Self-Configuring Optima...
متن کامل